package pkg

//deduction
